B

Results: 347007



#Item
41Mathematical logic / Logic / Mathematics / Predicate logic / Computability theory / Models of computation / First-order logic / Lambda calculus / Term / Quantifier / Natural deduction / CurryHoward correspondence

Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
42Roman calendar / Time / October / September / November / Sextilis / Ancient history / Publilius Syrus / Ludi Plebeii / Ludi Romani / Ludi / Ancient Rome

www.BOLCHAZY.com Bolchazy-Carducci Publishers • Roma Alma Mater • Calendar 2018–2019 B

Add to Reading List

Source URL: www.bolchazy.com

Language: English - Date: 2018-08-20 12:08:58
43Financial services / Economy / Money / Payment systems / Banking / Direct debit / Bank / Payment order / Deposit account / Single Euro Payments Area / Online banking / Bank fraud

B.002.1_E_ General terms and conditions

Add to Reading List

Source URL: www.unionbankag.com

Language: English - Date: 2017-12-01 11:02:23
44Large ElectronPositron Collider

History 7-12, BS "DBEFNJD.BQ  5IF"DBEFNJD.BQTFSWFTBTBTVHHFTUFEDPVSTFTFRVFODFPOMZ4UVEFOUTBSFOPUMJNJUFEUPUIJTQMBOJUJTNFBOUUPCFVTFEBT

Add to Reading List

Source URL: catalog.southernct.edu

Language: English - Date: 2018-10-06 18:04:46
    45Backup software / System software / Utility software / Computing / Backup / Data synchronization / Incremental computing / Data security / Incremental backup / Veeam Backup & Replication / Backup Exec

    AerieTM 36 Clutch Teradactyl® builds a turnkey purpose built backup system capable of supporting over 500TB of primary storage in daily backup windows. The Aerie™ 36 Clutch Industrial BackupAppliance is designed for b

    Add to Reading List

    Source URL: www.teradactyl.com

    Language: English
    46Human behavior / Dispute resolution / Violence / Behavior / Gender studies / Violence against women / Sexual violence / Social conflict / European Centre for Electoral Support / Religious violence / Communal violence / Peace and conflict studies

    Election Violence Research Workshop February 15-16, 2018 REC B 9.22 Common Room Political Science University of Amsterdam Workshop Summary

    Add to Reading List

    Source URL: ursuladaxecker.weebly.com

    Language: English - Date: 2018-01-21 05:04:27
    47Course / Curricula / Large ElectronPositron Collider

    Earth Science, BA "DBEFNJD.BQ  5IF"DBEFNJD.BQTFSWFTBTBTVHHFTUFEDPVSTFTFRVFODFPOMZ4UVEFOUTBSFOPUMJNJUFEUPUIJTQMBOJUJTNFBOUUPCFVTFEBT

    Add to Reading List

    Source URL: catalog.southernct.edu

    Language: English - Date: 2018-10-06 18:05:11
    48Computer programming / Statistical randomness / Computing / Operations research / Queueing theory / Markov processes / Recursion / Theoretical computer science / Qt / Queue / Linear programming / Mathematical optimization

    Performance Evaluation and Optimization Models for Processing Networks with Queue-Dependent Production Quantities by John S. Hollywood S.B. Applied Mathematics

    Add to Reading List

    Source URL: web.mit.edu

    Language: English - Date: 2018-07-20 12:49:40
    49Data management / Big data / Technology forecasting / Transaction processing / Citizen science / Data mining / Crowdsourcing / Computing / Data / Information

    THIS MANUSCRIPT IS A PRE-PRINT OF: Hill, B. M., Dailey, D., Guy, R. T., Lewis, B., Matsuzaki, M., & Morgan, J. TDemocratizing Data Science: The Community Data Science Workshops and Classes. In N. Jullien, S. A.

    Add to Reading List

    Source URL: mako.cc

    Language: English - Date: 2018-06-23 22:40:14
    50

    ARTICLES PUBLISHED: 13 MARCH 2017 | VOLUME: 1 | ARTICLE NUMBER: 0064 Rational quantitative attribution of beliefs, desires and percepts in human mentalizing Chris L. Baker, Julian Jara-Ettinger, Rebecca Saxe and Joshua B

    Add to Reading List

    Source URL: saxelab.mit.edu

    Language: English - Date: 2017-03-30 17:00:25
      UPDATE